Section: New Software and Platforms

Verde

Keywords: Debug - Verification

Functional Description: Interactive Debugging with a traditional debugger can be tedious. One has to manually run a program step by step and set breakpoints to track a bug.

i-RV is an approach to bug fixing that aims to help developpers during their Interactive Debbugging sessions using Runtime Verification.

Verde is the reference implementation of i-RV.

• Participants: Kevin Pouget, Ylies Falcone, Raphael Jakse and Jean-François Méhaut

• Contact: Raphael Jakse

• Publication: Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

• URL: https://gitlab.inria.fr/monitoring/verde